Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
471	Learning Models for Following Natural Language Directions in Unknown Environments Sachithra Hemachandra∗ Felix Duvallet∗ Thomas M. Howard Nicholas Roy Anthony Stentz Matthew R. Walter Abstract—Natural language offe Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2015-03-18 15:34:11 Cybernetics Learning Machine learning Algorithm Inference Causality Logic Knowledge Science
472	Abstraction-Guided Synthesis of Synchronization Martin Vechev Eran Yahav Greta Yorsh Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-11-12 20:41:49 Function Abstraction Mereology Valuation Mathematics Mathematical logic Abstract interpretation
473	Parameterized Model Checking of Fault-tolerant Distributed Algorithms by Abstraction Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder Vienna University of Technology (TU Wien) Abstract—We introduce an Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-18 10:27:55 Abstraction Data management FO Model checking Abstract interpretation Function Interpretation Mathematics Mathematical logic Theoretical computer science
474	Inductive Mercury Programming Barnaby Fisher and James Cussens Dept of Computer Science, University of York, Heslington, York, YO10 5DD, UK {barney\|jc}@cs.york.ac.uk Abstract. We investigate using the Mercury language t Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2007-02-21 05:49:09 Prolog Logic programming Query languages Inductive logic programming Predicate Clause Mercury PROGOL SQL Computing Software engineering Computer programming
475	Eisenstein Series* R.P. Langlands 1. Preliminaries. In these lectures I want to discuss, with some indications of proofs, some of the elementary facts in the theory of Eisenstein series. Although the discussion can be ca Add to Reading List Source URL: www.sunsite.ubc.ca Language: English - Date: 2004-09-28 00:33:01 Mathematics Symbol Representation theory Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Abstract algebra Operator theory
476	[Pell, 1993] Barney Pell. Strategy Generation and Evaluation for Meta GamePlaying. PhD thesis, Computer Laboratory, University of Cambridge, 1993. Forthcoming. [Russell and Wefald, 1992] Stuart Russell and Eric Wefald. D Add to Reading List Source URL: www.barneypell.com Language: English - Date: 2009-12-15 09:27:32 Computing Abstract interpretation Prolog Model theory Patrick Cousot Logic programming Interpretation Abstract object Game theory Software engineering Programming language theory Abstraction
477	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. GoannaSMT – A Static Analyzer with SMT-based Refinement Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 17:52:59 Formal methods Logic in computer science Model checking Satisfiability Modulo Theories Static program analysis Abstract interpretation Abstraction C Software bug Theoretical computer science Software engineering Computing
478	Godelisation in the untyped lambda calculus Torben . Mogensen DIKU, University of Copenhagen, Denmark email: Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:40 Mathematics Normalisation by evaluation Combinatory logic Simply typed lambda calculus Beta normal form Variance Lambda Sedenion Binary lambda calculus Lambda calculus Theoretical computer science Applied mathematics
479	Toward abstract profiling Nguyen-Minh BUI D´epartement d’informatique et de g´enie logiciel, Universit´e Laval, Canada Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:20 Combinatory logic Lambda calculus Procedural programming languages Computability theory Eval Fixed-point combinator Function Expression Conditional Mathematics Theoretical computer science Computing
480	Analog Micropipeline Rings for High Precision Timing Scott Fairbanks Cambridge University Abstract I use asynchronous FIFO stages that are connected in Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-06-01 08:01:00 Logic gates Digital electronics Electronic circuits Integrated circuits Oscillators Flip-flop Inverter Analog-to-digital converter FIFO Electronic engineering Electronics Electrical engineering

UPDATE